resolution theorem proving
[网络] 归结定理证明
热门查询
- tosser 二传手 二传队员
- regalia n. 标记；徽章；王权 n. (Regalia)人名；(英、罗)雷加利亚
- custodianship n. 管理人之职务或地位
- shag n. 粗毛；粗烟丝；蓬乱一团 adj. 有粗毛的；蓬乱的 vt. 使杂乱；使蓬松 vi. 蓬松
- roughened vi. 变粗糙 vt. 使粗糙
- exertion n. 发挥；运用；努力
- elasticated adj. 有松紧性的；织入橡皮筋的 v. 有松紧地（elasticate的过去式）
- indeed adv. 的确；实在；真正地；甚至 int. 真的（表示惊讶、怀疑、讽刺等）
- walling 墙体材料，墙体工程; 墙材
- walloping n. 殴打；击败 adj. 极大的；极好的 v. 重击；痛打；猛冲（wallop的ing形式） adv. 非常地
- casualness n. 偶然；漫不经心；随便
- spined adj. 有背骨的，有刺的，有脊柱的
- bivariate adj. 二变量的
- sunup n. 日出
- Manchurian adj. 满洲的；中国东北的；满洲人的 n. 中国东北人；满洲人
- coveted adj. 垂涎的；梦寐以求的 v. 垂涎；渴望（covet的过去分词形式）；贪图
- melee n. 混战，格斗；互殴
- scam n. 骗局，诡计；故事 vt. 欺诈；诓骗 vi. 欺诈；诓骗
- communicating v. 交流；传播（communicate的现在分词）；传递 adj. 交流的；通信的
- fleshy adj. 肉的；肉质的；丰满的
考试词汇表
- decible approximation
- decidable proposition
- decide someone's fate
- decided maritime case
- decidual endometritis
- deciduous dental germ
- deciduous winterberry
- decimal binary system
- decimal counting tube
- decimal metric system
- decimal normalization
- decimal number format
- decimal number system
- decimal overflow trap
- decimal tabulator key
- decimal-binary switch
- decimal-binary system
- decimeter transmitter
- decimeter-wave triode
- decimillimetric waves
